Require a pull request before merging